Package-level declarations

Types

class DiceMcpTools(repository: PropositionRepository, minConfidence: Double = DEFAULT_MIN_CONFIDENCE, defaultLimit: Int = DEFAULT_LIMIT)

Simplified DICE tools for external MCP clients.

data class McpPropositionDetail(val id: String, val contextId: String, val text: String, val status: String, val confidence: Double, val effectiveConfidence: Double, val evidence: List<String>)

Outward get payload. MCP still returns text today; this type is the contract so we do not publish Proposition or lock callers to a one-line summary.